|
|
Formal Methods and Software Engineering
by Qin, Shengchao.
Publication:
. XIV, 670p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Dependable and Historic Computing
by Jones, Cliff B.
Publication:
. XII, 523p. 137 illus., 60 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model Driven Engineering Languages and Systems
by Whittle, Jon.
Publication:
. XX, 730 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Implementation and Application of Functional Languages
by Scholz, Sven-Bodo.
Publication:
. X, 291p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Methods for Industrial Critical Systems
by Salaün, Gwen.
Publication:
. X, 261 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Technology for Verification and Analysis
by Bultan, Tevfik.
Publication:
. XIV, 532 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Formal Modeling and Analysis of Timed Systems
by Fahrenberg, Uli.
Publication:
. XI, 353 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reachability Problems
by Delzanno, Giorgio.
Publication:
. XII, 245 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Implementation and Application of Functional Languages
by Hage, Jurriaan.
Publication:
. X, 217 p. 29 illus., 4 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Software Architecture
by Crnkovic, Ivica.
Publication:
. XV, 448p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Principles and Practice of Constraint Programming – CP 2011
by Lee, Jimmy.
Publication:
. XXIV, 836p. 170 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Static Analysis
by Yahav, Eran.
Publication:
. XII, 387 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Euro-Par 2011 Parallel Processing
by Jeannot, Emmanuel.
Publication:
. XXXIII, 598p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Euro-Par 2011 Parallel Processing
by Jeannot, Emmanuel.
Publication:
. Approx. 490 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
CONCUR 2011 – Concurrency Theory
by Katoen, Joost-Pieter.
Publication:
. XIV, 560p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Security Analysis and Design VI
by Aldini, Alessandro.
Publication:
. VII, 275p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Trends in Functional Programming
by Page, Rex.
Publication:
. X, 215 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Interactive Theorem Proving
by Eekelen, Marko.
Publication:
. XI, 383 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
ECOOP 2011 – Object-Oriented Programming
by Mezini, Mira.
Publication:
. XIV, 660p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Agent-Oriented Software Engineering XI
by Weyns, Danny.
Publication:
. X, 249 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|